Method and apparatus for establishing a key agreement protocol

ABSTRACT

A system and method for generating a secret key to facilitate secure communications between users. A first and second and a function between the two monoids are selected, the function being a monoid homomorphism. A group and a group action of the group on the first monoid is selected. Each user is assigned a submonoid of the first monoid so that these submonoids satisfy a special symmetry property determined by the function, a structure of the first and second monoids, and the action of the group. A multiplication of an element in the second monoid and an element in the first monoid is obtained by combining the group action and the monoid homomorphism. First and second users choose private keys which are sequences of elements in their respective submonoids. A first result is obtained by multiplying an identity element by the first element of the sequence in a respective submonoid. Starting with the first result, each element of the user&#39;s private key may be iteratively multiplied by the previous result to produce a public key. Public keys are exchanged between first and second users. Each user&#39;s private key may be iteratively multiplied by the other user&#39;s public key to produce a secret key. Secure communication may then occur between the first and second user using the secret key.

BACKGROUND OF THE INVENTION

1. Field of the Invention

The invention relates to cryptography and, more particularly, to a system and method for facilitating cryptographic applications.

2. Description of the Prior Art

Key Agreement Protocols

It is sometimes desirable for individuals to be able to communicate with each other in a way in which third parties are unable to listen to the communication. A simple way for these individuals to communicate is to have the communications themselves proceed in private. For example if party A and party B desire to communicate in a way which will not be heard by party C, A and B can simply meet at a designated location unknown to C. Similarly, A and B can set up a designated communication line between them which excludes C. Such communication lines are expensive and inconvenient especially if A and B are geographically far apart from one another.

A first approach to facilitating private communications between A and B is to give A and B a secret key that may be used to encrypt and/or decrypt messages sent between A and B. If C does not know what the key is, it may be very difficult for C to both get a hold of a message sent between A and B and try to understand it. However, giving A and B such a key is also cumbersome, expensive and time consuming. Issues to be addressed include secretly transmitting such a key to A and B and generating a new key each time two individuals need to communicate. Also, if C does ascertain the secret key, then all communications between A and B can be decrypted and read by C.

Another approach for facilitating private communications between A and B is to assign A and B secret mathematical functions ƒ_(a), ƒ_(b) respectively. The functions ƒ_(a) and ƒ_(b) are chosen from a set of functions, S, all of whose elements are designed so as to be commutative: applying ƒ_(a) followed by ƒ_(b) yields the same result as applying ƒ_(b) followed by ƒ_(a) (i. e., given an element x, ƒ_(a)(ƒ_(b)(x))=ƒ_(b)(ƒ_(a)(x))). Assuming the element x is known by both A and B, A can then send ƒ_(a)(x) to B, and B can send ƒ_(b)(x) to A over public channels. The secret key that can be evaluated and shared by both A and B is then, ƒ_(a) (ƒ_(b)(x))=ƒ_(b)(ƒ_(a)(x)). To insure that the system is secure (from an adversary C who knows x and can listen to all communication between A and B) it is necessary that the functions ƒ_(a) and ƒ_(b) satisfy the following property: given the value ƒ_(a)(x) (respectively ƒ_(b)(x)) it is computationally difficult to determine the function ƒ_(a) (respectively ƒ_(b)). This is called the general Diffie-Hellman key agreement protocol.

Many specific instances of the general Diffie-Hellman protocol for sending secure communications between A and B are known in the prior art (see Alfred J. Menezes, Paul C. van Oorschot, and Scott A. Vanstone, “Handbook of Applied Cryptography,” CRC Press (1997)). They all differ by their choice of the set of functions. The original Diffie-Hellman key agreement protocol is an example of the above described techniques (see W. Diffie and M. E. Hellman, “New directions in cryptography,” IEEE Transaction on Information Theory, vol. IT 22 (November 1976), pp. 644-654). Using an algorithm like the one first introduced by Diffie-Hellman, parties A and B can obtain a common shared secret by communicating over a public channel. The security of the system, in this instance, rests on the computational difficulty of computing discrete logarithms in the multiplicative group of the finite field. In more general cases the security is based on the notion of a oneway function. A function ƒ from a set X to a set Y is termed oneway if ƒ(x) is easy to compute for all xεX but for essentially all elements y it is computationally difficult to find xεX such that ƒ(x)=y. To date a diverse array of mathematical techniques (including geometric and algebraic ones), have been used to create systems for secure communication whose security is based on oneway functions.

A problem with some of the prior art algorithms, is that most of them rely on a cost-risk analysis when generating the one-way function. That is, in order to produce a more complex and more difficult to determine secret key, each party would need to spend more time in generating such a key and may need to invest in more expensive devices. With rapidly evolving technologies, implementing the current algorithms in a cryptographically secure manner is becoming difficult. Furthermore, there are instances of resource limited devices where current algorithms are difficult to implement. Thus, there is a need in the art for a system and method which can produce a secure key relatively quickly and without employing expensive devices.

SUMMARY OF THE INVENTION

An aspect of the invention is a method for securing communications from a user. The method comprises selecting a first monoid, selecting a second monoid and selecting a function, the function being a monoid homomorphism that maps the first monoid to the second monoid. The method further comprises selecting a group, selecting an action of the group on the first monoid, and determining a semi-direct product of the first monoid and the group to produce a third monoid. The method further comprises selecting a first and second submonoid of the third monoid, a pair of the first and second submonoids satisfying a criterion, the first submonoid being defined by a first set of generators, wherein the criterion satisfies a property determined by the function, a structure of the first and second monoids, and the action. The method still further comprises selecting a plurality of generators of the first set of generators to produce a private key.

Another aspect of the invention is a method for securing communications from a user. The method comprises receiving a first submonoid, the first submonoid being produced by selecting a first monoid, selecting a second monoid, selecting a function, the function being a monoid homomorphism that maps the first monoid to the second monoid, selecting a group, selecting an action of the group on the first monoid, determining a semi-direct product of the first monoid and the group to produce a third monoid, selecting a first and second submonoid of the third monoid, the pair of the first and second submonoids satisfying a criterion, the first submonoid being defined by a first set of generators, the criterion satisfying a property determined by the function, a structure of the first and second monoids, and the action. The method further comprising selecting a plurality of generators of the first set of generators to produce a private key. The method still further comprising applying the second component of an identity on a non-group component of a first generator of the private key to produce a result, wherein the identity comprises a first component, the first component being an identity of the second monoid, and the identity comprises a second component, the second component being an identity of the group. The method still further comprising applying the function to the result to produce a first modified result, multiplying the first component of the identity by the modified result to produce a first further modified result, multiplying the second component of the identity with a group component of the first generator to produce a first still further modified result, and combining the first further modified result with the first still further modified result to produce a public key.

Still another aspect of the invention is a method for securing communications among two users. The method comprises selecting a first monoid, selecting a second monoid, and selecting a function, the function being a monoid homomorphism that maps the first monoid to the second monoid. The method further comprising selecting a group, selecting an action of the group on the first monoid, and determining a first semi-direct product of the first monoid and the group to produce a third monoid. The method still further comprising selecting a first and second submonoid of the third monoid, a pair of the first and second submonoids satisfying a criterion, the first submonoid being defined by a first set of generators, the second submonoid being defined by a second set of generators, the criterion satisfying a property determined by the function, a structure of the first and second monoids, and the action. The method further comprising at a first user, receiving the first submonoid, selecting a plurality of generators of the first set of generators to produce a first private key, and applying the second component of an identity on a non-group component of a first generator of the first private key to produce a first result, wherein the identity comprises a first component, the first component being an identity of the second monoid, and the identity comprises a second component, the second component being an identity of the group. The method further comprising at the first user applying the function to the first result to produce a first modified result, multiplying the first component of the identity by the modified result to produce a first further modified result, multiplying the second component of the identity with a group component of the first generator of the first private key to produce a first still further modified result, and combining the first further modified result with the first still further modified result to produce a first public key. The method still further comprising at the first user a. applying a group component of the first public key on a non-group component of a second generator of the first private key to produce a second result, b. applying the function to the second result to produce a second modified result, c. multiplying a non-group component of the first public key by the second modified result to produce a second further modified result, d. multiplying the group component of the first public key with a group component of the second generator of the private key to produce second still further modified result; and e. combining the first further modified result with the second still further modified result to produce a second public key. The method further. comprising at a second user receiving the second submonoid, selecting a plurality of generators of the second set of generators to produce a second private key, applying the second component of the identity on a non-group component of a first generator of the second private key to produce a third result, applying the function to the third result to produce a third modified result, multiplying the first component of the identity by the third modified result to produce a third further modified result, multiplying the second component of the identity with a group component of the first generator of the second private key to produce a third still further modified result. and combining the third further modified result with the third still further modified result to produce a third public key. The method still further comprising at the second user f. applying a group component of the third public key on a non-group component of a second generator of the second private key to produce a fourth result, g. applying the function to the fourth result to produce a fourth modified result, h. multiplying a non-group component of the third public key by the fourth modified result to produce a fourth further modified result, i. multiplying the group component of the third public key with a group component of the second generator of the second private key to produce a fourth still further modified result; and j. combining the fourth further modified result with the fourth still further modified result to produce a fourth public key.

Yet still another aspect of the invention is a transmitter comprising a memory including a first submonoid, the first submonoid being produced by selecting a first monoid, selecting a second monoid, selecting a function, the function being a monoid homomorphism that maps the first monoid to the second monoid, selecting a group, selecting an action of the group on the first monoid; determining a semi-direct product of the first monoid and the group to produce a third monoid, selecting a first and second submonoid of the third monoid, the pair of the first and second submonoids satisfying a criterion, the first submonoid being defined by a first set of generators; the criterion satisfying a property determined by the function, a structure of the first and second monoids, and the action. The transmitter further comprising a processor wherein the processor is effective to select a plurality of generators of the first set of generators to produce a private key. The processor is further effective to apply the second component of an identity on a non-group component of a first generator of the private key to produce a result, wherein the identity comprises a first component, the first component being an identity of the second monoid, and the identity comprises a second component, the second component being an identity of the group. The processor is further effective to apply the function to the result to produce a first modified result. The processor is effective to multiply the first component of the identity by the modified result to produce a first further modified result. The processor is effective to multiply the second component of the identity with a group component of the first generator to produce a first still further modified result; and the processor is effective to combine the first further modified result with the first still further modified result to produce a first public key. The processor is effective to a. apply a group component of the first public key on a non-group component of a second generator of the private key to produce a second result, b. apply the function to the second result to produce a second modified result, c. multiply a non-group component of the first public key by the second modified result to produce a second further modified result, d. multiply the group component of the first public key with a group component of the second generator of the private key to produce second still further modified result, and e. combine the first further modified result with the second still further modified result to produce a second public key.

Still another aspect of the invention is a system for securing communications between users. The system comprises a communications center, the communications center effective to select a first monoid, select a second monoid, select a function, the function being a monoid homomorphism that maps the first monoid to the second monoid, select a group, and select an action of the group on the first monoid. The communications center further effective to determine a first semi-direct product of the first monoid and the group to produce a third monoid; and select a first and second submonoid of the third monoid, a pair of the first and second submonoids satisfying a criterion, the first submonoid being defined by a first set of generators, the second submonoid being defined by a second set of generators, the criterion satisfying a property determined by the function, a structure of the first and second monoids, and the action. The system further comprising a first transmitter comprising a memory including the first submonoid and a first processor. The first processor effective to select a plurality of generators of the first set of generators to produce a first private key and apply the second component of an identity on a non-group component of a first generator of the first private key to produce a first result, wherein the identity comprises a first component, the first component being an identity of the second monoid, and the identity comprises a second component, the second component being an identity of the group. The first processor further effective to apply the function to the first result to produce a first modified result, multiply the first component of the identity by the modified result to produce a first further modified result, multiply the second component of the identity with a group component of the first generator to produce a first still further modified result and combine the first further modified result with the first still further modified result to produce a first public key. The first processor is further effective to a. apply a group component of the first public key on a non-group component of a second generator of the private key to produce a second result, b. apply the function to the second result to produce a second modified result, c. multiply a non-group component of the first public key by the second modified result to produce a second further modified result, d. multiply the group component of the first public key with a group component of the second generator of the first private key to produce second still further modified result; and e. combine the first further modified result with the second still further modified result to produce a second public key. The system further comprises a second transmitter comprising a memory including the second submonoid and a second processor. The second processor effective to select a plurality of generators of the second set of generators to produce a second private key, apply the second component of the identity on a non-group component of a first generator of the second private key to produce a third result, apply the function to the third result to produce a third modified result, and multiply the first component of the identity by the third modified result to produce a third further modified result. The second processor further effective to multiply the second component of the identity with a group component of the second generator to produce a third still further modified result and combine the third further modified result with the third still further modified result to produce a third public key. The second processor is further effective to f. apply a group component of the third public key on a non-group component of a second generator of the second private key to produce a fourth result, g. apply the function to the fourth result to produce a fourth modified result, h. multiply a non-group component of the first public key by the fourth modified result to produce a fourth further modified result, i. multiply the group component of the third public key with a group component of the second generator of the second private key to produce fourth still further modified result and j. combine the fourth further modified result with the fourth still further modified result to produce a fourth public key.

BRIEF DESCRIPTION OF THE DRAWINGS

FIG. 1 is a system diagram illustrating a Π-Function module in accordance with an embodiment of the invention.

FIG. 2 is a system diagram illustrating a S-Action module in accordance with an embodiment of the invention.

FIG. 3 is a system diagram illustrating an E-Function module in accordance with an embodiment of the invention.

FIG. 4 is a system diagram illustrating the operation of an E-Function iterator module in accordance with an embodiment of the invention.

FIG. 5 is another system diagram illustrating the operation of an E-Function iterator module in accordance with an embodiment of the invention.

FIG. 6 is a system diagram illustrating a system for determining a pair of E-commuting monoids in accordance with an embodiment of the invention.

FIG. 7 is a system diagram illustrating a system for determining a private key in accordance with an embodiment of the invention.

FIG. 8 is a system diagram illustrating a system for determining a public key in accordance with an embodiment of the invention.

FIG. 9 is a system diagram illustrating a system for determining a common agreed upon secret key in accordance with an embodiment of the invention.

FIG. 10 is a flow diagram illustrating a method for determining a common agreed upon secret key and transmitting a message using that secret key in accordance with an embodiment of the invention.

FIG. 11 is a system diagram illustrating a system for determining a secret key in accordance with an embodiment of the invention.

DETAILED DESCRIPTION OF THE PREFERRED EMBODIMENT

The present invention introduces an algorithmically efficient one-way function. The algorithm is both rapidly computable and computationally hard to reverse. An overview in accordance with the invention is provided in FIG. 10. Parties Alice and Bob are each in possession of a database from which they form their respective private keys (Boxes 101 and 102). They then proceed to produce their respective public keys based on their respective private keys by applying an algorithm in accordance with the invention (Boxes 103 and 104). Alice and Bob each have access to a respective transmitter and receiver. Alice and Bob use their respective transmitter and receiver to exchange their public keys. By exchanging these public keys they are each in a position to obtain a common agreed upon secret key by letting the received public key act on the respective user's private keys (Boxes 105 and 106). Once the shared secret key has been obtained, Alice can then encrypt a plaintext message, produce an encrypted message (Box 107), send the encrypted message (Box 108) to Bob, who can then decrypt the encrypted message (Box 109) to obtain Alice's plaintext message (Box 107).

Let M, N denote monoids and let S denote a group which acts on M on the left. Given an element sεS, and an element mεM, we denote the result of s acting on m by ^(s)m. The semidirect product of M and S, M

S is defined to be the monoid whose underlying set is M×S and whose internal binary operation

θ_(M)

_(S):(M×S)×(M×S)→M×S

is given by

θ_(M)

_(S):((m ₁ ,s ₁),(m ₂ ,s ₂))→m ₁·^(s) ¹ m ₂ ,s ₁ s ₂).

Furthermore, we let N×S denote the direct product.

An algebraic eraser is specified by a 6-tuple (M

S, N, Π, E, A, B) where M

S and N are as above, A, B are user submonoids of M, Π is an easily computable monoid homomorphism

Π:M→N,

E is a function

E:(N×S)×(M

S)→N×S

given by

E((n,s)(m ₁ ,s ₁))=(nΠ(^(s) m ₁),ss ₁),

and A, B are submonoids of M

S such that for all (a, s_(a))εA, (b, s_(b))εB

E((Π(a),s _(a)),(b,s _(b)))=E((Π(b),(s _(b)),(a,s _(a))).

Two submonoids satisfying the above identity are termed E-Commuting.

An action of S on M does not induce an action of S on N, and given knowledge of the elements

(n,s),E((n,s),(m ₁ ,s ₁))εN×S

it is very difficult to obtain the element (m₁, s₁)εM

S. The action of the element sεS has been effectively erased by the algebraic eraser. A benefit lies in the efficiency of the computation of the function Π and the iterative nature of the method and apparatus for the computation of the function E.

A preferred embodiment of an apparatus to perform an algebraic key agreement protocol based on the algebraic eraser, is depicted in FIGS. 1 through 11, and begins with an apparatus to compute the function Π. The Π-Function module 13 is responsive to the data from the Π-Function module library 11, and the input element mεM from 12. The Π-Function module 13 computes the element Π(m)εN.

In general a group S is said to act (on the left) on a monoid M provided there is a homomorphism from S to the endomorphisms of M which satisfies certain properties. Given sεS and mεM, the element a maps m to a new element in M, denoted ^(s)m. The required properties are

^(s)(m ₁ m ₂)=^(s) m ₁ ^(s) m ₂,¹ m=m, ^(s) ¹ ^(s) ² m= ^(s) ¹ (^(s) ² m)

Referring to FIG. 2, S-Action module 23 is responsive to the inputs sεS 21 and mεM 22, and computes the image of m under the action of a yielding ^(s)m as output.

An apparatus to compute the function E is depicted in FIG. 3. The E-Function module 36 is responsive to the inputs (n, s) 31 and (m, s) 34. Given an ordered list (x, y) of two elements x, y, the first component projection of (x, y) outputs the first component x on the list. Similarly, the second component projection outputs the second component y. The input (n, s), 31, is sent to the second component projection module, 32 and the input (m₁, s₁) is likewise sent to a first component projection module, 33. The resulting elements of S and M of the first and second component modules 32, 33 are then forwarded to the S-Action module 23, yielding the element ^(s)m₁εM. This resulting element ^(s)m₁ is forwarded to the Π-Function module, 13, which outputs the element Π(^(s)m₁). The E-Function multiplier, 35, is responsive to the input (n, s), 31, the element Π(^(s)m₁)εN, and the result of the input (m₁, s₁), 34, being entered into the second component projection module, 32. The E-Function multiplier outputs the element (nΠ(^(s)m₁), ss₁)εN×S which is also the output of the E-Function module 36.

The semi-direct product of M and S, denoted M S, is defined to be the monoid whose underlying set is the direct product M×S and whose binary operation is given by

(m ₁ ,s ₁)·(m ₂ ,s ₂)=(m ₁·^(s) ¹ m ₂ ,s ₁ s ₂).

It is noted that given an element (n, s)ΣN×S and two elements (m₁, s₁), (m₁, s₁)εM

S, that

E((n,s),((m ₁ ,s ₁)·(m ₂ ,s ₂)))=E(E((n,s),(m ₁ ,s ₁)),(m ₂ ,s ₂)).

Hence computing the E-Function iteratively increases the system's efficiency and speed.

FIG. 4 depicts an apparatus which may be used in performing the above computation. An E-Function Iterator module 42 is responsive to the input (n, s), 31, and to the input ((m₁, s₁), (m₂, s₂), . . . , (m_(k), s_(k))) , 41, and outputs

(nΠ(^(s) m ₁)Π(^(ss) ¹ m ₂) . . . Π(^(ss) ¹ ^(. . . s) ^(k) m _(k)),ss ₁ . . . s _(k)).

A more detailed apparatus of the E-Function Iterator module 42, is depicted in FIG. 5, begins with the input (n, s) 31 being sent to the E-Function module 36. In addition, an input ((m₁, s₁), (m₂, s₂), . . . , (m_(k), s_(k))) , 41, is sent to the choose t component module, 53, which is a module initialized at the value t=1 and repeatedly incremented by the increment t module, 54. The t^(th) component of the input ((m₁, s₁), (m₂, s₂), . . . , (m_(k), s_(k))) is precisely (m_(t), s_(t)) which is the output of 53 and sent to the E-Function module 36. Furthermore the value of t is sent to the decision box 55 which also receives the value of the E-Function (iterated t−1 times up to that point). The decision box 55 determines if t=k, at which point the computation stops, otherwise, the output of decision box 55 becomes input 31 to the E-Function module 36 to be used as the new first component of E together with the incoming entry from choose t^(th) component module 53. The final value arrived at is given by

n·Π(^(s) m ₁)Π(^(ss) ¹ m ₂) . . . Π(^(ss) ¹ ^(. . . s) ^(k−1) m _(k)),ss ₁ . . . s _(k))=(n·Π((^(s) m ₁)(^(ss) ² m ₂) . . . (^(ss) ¹ ^(. . . s) ^(k−1) m _(k))),ss ₁ . . . s _(k)).

Recall that two submonoids A, B are said to be E-Commuting provided

E((Π(a),s _(a)),(b,s _(b)))=E((Π(b),s _(b)),(a,s _(a)))

holds for all (a, s_(a))εA, (b, s_(b))εB. FIG. 6 illustrates an apparatus which may be used in choosing a pair of E-Commuting monoids, A, B which may be utilized in the invention. A monoid is specified by a generating set, i.e., a subset of elements of the monoid which have the property that every element of the monoid can be expressed as a product of some of these generators (in some order, with repetitions allowed). The Semidirect Product Producer 60 is responsive to the monoid M and the group S and produces the monoid M

S. The monoid M

S, together with the monoid N and the function Π are sent to the E-Commuting Monoid Producer 63, whose output is sent to the Pairs of E-Commuting Monoid Library 64. A Pseudorandom Number Generator 61 produces a random number α, a Chooser 62 then accesses the α^(th) element of the Pairs of E-Commuting Monoid Library 63 and outputs the pair of E-Commuting monoids A₁, B₁ which are forwarded to Alice and Bob, respectively. Additionally the pair A₁, B₁ is forwarded to the User Submonoid Generator Database 65.

With the apparatuses for computing the S-Action, the functions Π and E specified, and each users submonoid in place, the algebraic eraser hey agreement protocol can now be detailed. If the E-commuting monoids A₁, B₁, are privately assigned to Alice and Bob, then the invention functions, for example, as a symmetric cryptosystem. If the monoid M

S possesses a large library of pairs of E-Commuting submonoids which are recursively enumerable and whose internal algebraic structure is hidden then the invention can function, for example, as an asymmetric cryptosystem.

FIG. 7 illustrates a mechanism which may be used in enabling a user to generate a private key. Focusing on Alice (Bob case is analogous) a second Pseudorandom Number Generator 72 responsive to the input α*, 71, creates a list of integers e₁, e₂, . . . , e_(α*) where each e_(i) is generated in such a way that e_(i)≦number of generators of (A₁). The Sequence Encoder 73 is responsive to the list e₁, e₂, . . . , e_(α*) and the User Submonoid Generator database 65, is responsive to the submonoid A₁. The Sequence Encoder 73 produces the list of the user generators (m_(e) ₁ , s_(e) ₂ ), (m_(e) ₂ , s_(e) ₂ ), . . . , (m_(e) _(α*) , s_(e) _(α*) ) out of the generating set of A₁. The Private Key Generator 74 is responsive to Encoder 73 and produces the user private key

M _(A)

=

(m _(e) ₁ ,s _(e) ₁ ),(m _(e) ₂ ,s _(e) ₂ ), . . . , (m _(e) _(α*) ,s _(e) _(α*) ))

which is sent to a memory 75. It should be observed that the product of the elements, denoted (M_(A), s_(A)),

$\begin{matrix} {\left( {M_{A},s_{A}} \right) = {{\left( {m_{e_{1}},s_{e_{1}}} \right) \cdot \left( {m_{e_{2}},s_{e_{2}}} \right)}\mspace{11mu} \ldots \mspace{14mu} \left( {m_{e_{\alpha^{*}}},s_{e_{\alpha^{*}}}} \right)}} \\ {= \left( {{\left( m_{e_{1}} \right)\left( {{}_{}^{s1}{}_{e2}^{}} \right)\mspace{11mu} \ldots \mspace{14mu} \left( {{}_{}^{s_{1}\ldots \mspace{14mu} s_{\alpha^{*} - 1}}{}_{e\alpha^{*}}^{}} \right)},{s_{e_{1}}\ldots \mspace{14mu} s_{e_{\alpha^{*}}}}} \right)} \end{matrix}$

is an element of the submonoid A₁ ⊂M

S, but need not be computed explicitly for key agreement.

Now that Alice and Bob have chosen their respective user private keys, FIG. 8 depicts the apparatus which may be used in computing the user public keys. The E-Function Iterator module 42 is responsive to the input

(m_(e) ₁ , s_(e) ₁ ), (m_(e) ₂ , s_(e) ₂ ), . . . , (m_(e) _(α*) , s_(e) _(α*) )

, 81 and the element

(1_(N),1_(S))=(identity_(N),identity_(S))εN×S,

which is the identity of the monoid N in the first component and the identity of S in the second component. The E-Function Iterator module 42 produces the User Public Key

$\begin{matrix} {\left( {N_{A},s_{A}} \right) = {E\left( {\left( {1_{N},1_{S}} \right),\left( {M_{A},s_{A}} \right)} \right)}} \\ {= \left( \left( {{{\Pi \left( m_{e_{s}} \right)}{\Pi \left( {{}_{}^{s1}{}_{e2}^{}} \right)}\ldots \mspace{14mu} {\Pi \left( {{}_{}^{s_{1}\ldots \mspace{14mu} s_{\alpha^{*} - 1}}{}_{e\alpha^{*}}^{}} \right)}},{s_{e_{1}}\ldots \mspace{14mu} s_{e_{\alpha^{*}}}}} \right) \right.} \\ {= \left( {{\Pi \left( {\left( m_{e_{1}} \right)\left( {{}_{}^{s1}{}_{e2}^{}} \right)\ldots \mspace{11mu} \left( {{}_{}^{s_{1}\ldots \mspace{14mu} s_{\alpha^{*} - 1}}{}_{e\alpha^{*}}^{}} \right)} \right)},{s_{e_{1}}\ldots \mspace{14mu} s_{e_{\alpha^{*}}}}} \right)} \\ {{= \left( {{\Pi \left( M_{A} \right)},s_{A}} \right)},} \end{matrix}$

which is sent to memory 83.

At this point Alice has the public key (N_(A), s_(A)) and private key

M_(A)

Bob has public key (N_(B), s_(B)) and private key

M_(B)) , and they are now in a position to utilise the apparatus depicted in FIG. 9 to obtain a common agreed upon secret key. Alice transmits her public key (N_(A), s_(A)) input 91 via the transmitter/receiver 93, and likewise Bob transmits his public key (N_(B), s_(B)) input 92 via the transmitter/receiver 94. The received public keys together with the each users private keys are then forwarded to the respective E-Function Iterator modules 42 a, 42 b, to yield

(N _(B)Π(^(s) ^(B) M _(A)),s _(B) s _(A))=E((N _(B) ,s _(B)),(M _(A) ,s _(A)))=E((Π(M _(B)),s _(B)),(M _(A) ,s _(A)))

(N _(A)Π(^(s) ^(A) M _(B)),s _(A) s _(B))=E((N _(A) ,s _(A)),(M _(B) ,s _(B)))=E((Π(M _(A)),s _(A)),(M _(B) ,s _(B))).

Since (M_(A), s_(A)) and (M_(B), s_(B)) are contained in the submonoids A₁, B₁ respectively, the original assumptions regarding the structure of the algebraic eraser imply that the above elements of N×S are equal and can sere as the common agreed upon secret key, 97.

The above key agreement protocol can be enhanced by combining it with the Diffie-Hellman protocol described in the prior art. One such combination is given as follows. Referring to FIG. 8, replace input 82 by the element (K_(A), identity_(S)) (for Alice) and (K_(B), identity_(S)) (for Bob) where K_(A), K_(B)εN are additional private keys chosen so that they commute. The public keys for Alice and Bob are, E((K_(A), identity_(S)), (M_(A), s_(A))), E((K_(B), identity_(S)), (M_(B), s_(B))), respectively. In this variation of the key agreement protocol, the common agreed upon secret hey is given by

E((K _(A) K _(B)·Π(M _(B)),s _(B)),(M _(A) ,s _(A)))=E((K _(B) K _(A)·Π(M _(A)),s _(A)),(M _(B) ,s _(B))).

Referring now to FIG. 11, there is shown a system 1130 which could be used in accordance with an embodiment of the invention. System 1130 includes a first transmitter/receiver 1102 a and a second transmitter/receiver 1102 b. Transmitters/receivers 1102 a and 1102 b could be, for example, readers and tags in an RF-ID system. Transmitters/receivers 1102 and 1102 b may, for example, generate information, receive information, or modulate received information to transmit other information.

Transmitter/receiver 1102 a includes a memory 1104 a, a processor 1110 a, an action module 1112 a, a Π-Function module 1108 a an E-function multiplier 1106 a and an antenna 1114 a. Similarly, transmitter/receiver 1102 b includes a memory 1104 b, a processor 1110 b, an action module 1112 b, a Π-Function module 1108 b, an E-function multiplier 1106 b and an antenna 1114 b. Action modules 1112 a and 1112 b could be, for example, S-action module 23 discussed above. Π-Function modules 1108 a and 1108 b could be, for example, Π-Function module 13 discussed above. E-Function multipliers 1106 a and 1106 b could be E-Function multipliers 35 as described above.

Memories 1104 a and 1104 b each include monoids N and M, group S and function Π which all could be determined using, for example, the algorithms discussed above. Memory 1104 a further includes a submonoid A and memory 1104 b further includes a submonoid B. Submonoids A and B may be determined as discussed above. For example, a semi-direct product of S and M may be determined. A and B may then be E-commuting submonoids of this semi-direct product. Monoids M and N, group S, function Π and submonoids A and B may all be determined by a communications center 1132 in communication with a database 1134. Communications center 1132 may forward monoids M and N, group S, function Π and submonoids A and B to transmitter/receivers 1102 a, 1102 b using, for example an antenna 1136. Alternatively, monoids M and N, group S, function Π and submonoids A and B, may be stored in memories 1104 a, 1104 of transmitter/receives 1102 a, 1102 b respectively, when the respective devices are manufactured.

In operation, processors 1110 a and 1110 b each select generators of monoids A and B, respectively. The selection could be, for example, through the use a pseudo-random number generators 1120 a, 1120 b. Processor 1110 then orders the generators to produce a private key 1118 a for transmitter/receiver 1102 a.

Processor 1110 a then forwards private key 1118 a and an identity element 1122 a to action module 1112 a, Π-Function module 1108 a and E-Function multiplier 1106 a to produce a public key 1122 a for transmitter/receiver 1102 a. Identity element 1122 a includes a first component which is the identity of monoid N and a second component which is the identity of group S. The process through action module 1112 a, Π-Function module 1108 a and E-Function multiplier 1106 a may be performed iteratively for each generator in private key 1118 a.

Similarly, processor 1110 b orders generators of monoid B to produce a private key 1118 b for transmitter/receiver 1102 b. Processor 1110 b then forwards private key 1118 b and an identity element 1122 b to action module 1112 b, Π-Function module 1108 b and E-Function multiplier 1106 b to produce a public key 1122 b for transmitter/receiver 1102 b. Identity element 1122 b includes a first component which is the identity monoid N and a second component which is the identity of group S. The process through action module 1112 b, Π-Function module 1108 b and E-Function multiplier 1106 b may be performed iteratively for each generator in private key 1118 b.

Transmitter/receivers 1102 a and 1102 b exchange their respective public keys 1122 a, 1122 b using antennas 1114 a and 1114 b respectively over a communication link 1128. Once the public keys 1122 a, 1122 b are received, a secret key may be ascertained. Focusing on transmit-ter/receiver 1102 a, for example, public key 1122 b from transmitter/receiver 1102 b is input to action module 1112 a, Π-function module 1108 a and E-Function multiplier 1106 a along with private key 1118 a. Action module 1112 a, Π-Function module 1108 a, and E-Function multiplier 1106 a may operate on these inputs iteratively for each generator in the private key from transmitter/receiver 1102 a, to produce a secret key 1124. A similar operation is performed at transmitter/receiver 1102 b. The secret key 1124 may be then be used by transmitter/receivers 1102 a and 1102 b to communicate securely.

While the invention has been described and illustrated in connection with preferred embodiments, many variations and modifications as will be evident to those skilled in this art may be made without departing from the spirit and scope of the invention, and the invention is thus not to be limited to the precise details of methodology or construction set forth above as such variations and modification are intended to be included within the scope of the invention.

EXAMPLE

An instance of the algebraic eraser and its associated key agreement protocol can be obtained in the case where the monoid M is chosen to be the set of L×L matrices whose entries are rational functions with integral coefficients in the variables {t₁, t₂, . . . , t_(k)}, i.e., the entries take the form

$\frac{C_{ij}\left( {t_{1},t_{2},\ldots \mspace{14mu},t_{\kappa}} \right)}{D_{ij}\left( {t_{1},t_{2},\ldots \mspace{14mu},t_{\kappa}} \right)}$

where 1≦i, j≦k, and C_(ij), D_(ij) are polynomials. The group S is chosen to be the symmetric group on k symbols, denoted S_(k). The action of the elements of sεS_(k) on the set of variables {t₁, t₂, . . . , t_(k)}, given by

s:ti

t _(s(i)),

can be extended to an action of the monoid M in a natural manner. Given an element of M, input 22, (see FIG. 2) of the form

$\left\lbrack \frac{C_{ij}\left( {t_{1},t_{2},\ldots \mspace{14mu},t_{\kappa}} \right)}{D_{ij}\left( {t_{1},t_{2},\ldots \mspace{14mu},t_{\kappa}} \right)} \right\rbrack_{{1 \leq i},{j \leq \kappa}}$

and an element sεS_(k), input 21, the result of the S_(k)-Action module 23 is the element of M given by

${s\left\lbrack \frac{C_{ij}\left( {t_{1},t_{2},\ldots \mspace{14mu},t_{\kappa}} \right)}{D_{ij}\left( {t_{1},t_{2},\ldots \mspace{14mu},t_{\kappa}} \right)} \right\rbrack}_{{1 \leq i},{j \leq \kappa}} = {\left\lbrack \frac{C_{ij}\left( {t_{s{(1)}},t_{s{(2)}},\ldots \mspace{14mu},t_{s{(\kappa)}}} \right)}{D_{ij}\left( {t_{s{(1)}},t_{s{(2)}},\ldots \mspace{14mu},t_{s{(\kappa)}}} \right)} \right\rbrack_{{1 \leq i},{j \leq \kappa}}.}$

Having specified the monoid M and the action of a group S on M, we fix a prime p and let the monoid N be the set of L×L matrices whose entries are integers mod p. Then to define the homomorphism Π a set of integers (τ₁, τ₂, . . . , τ_(k))(mod p), is chosen and is stored in the Π-Function module Library 11. Given an element of M, Input 12, the Π-Function module produces the element of N given by

$\left\lbrack \frac{{C_{ij}\left( {\tau_{1},\tau_{2},\ldots \mspace{14mu},\tau_{\kappa}} \right)}\mspace{14mu} {mod}\mspace{11mu} p}{{D_{ij}\left( {\tau_{1},\tau_{2},\ldots \mspace{14mu},\tau_{\kappa}} \right)}\mspace{14mu} {mod}\mspace{11mu} p} \right\rbrack_{{1 \leq i},{j \leq \kappa}}.$

It is tacitly assumed that

D _(ij)(τ₁,τ₂, . . . ,τ_(k))≢0(mod p),

which can always be arranged by appropriate selection of (τ₁, τ₂, . . . , τ_(k)) for the situation at hand.

With the above choices in place the E-Function 13 takes the form,

${E\left( {\left( {\left\lbrack d_{ij} \right\rbrack,s} \right),\left( {\left\lbrack \frac{C_{ij}\left( {t_{1},t_{2},\ldots \mspace{14mu},t_{\kappa}} \right)}{D_{ij}\left( {t_{1},t_{2},\ldots \mspace{14mu},t_{\kappa}} \right)} \right\rbrack,s_{1}} \right)} \right)} = {\left( {{\left\lbrack d_{ij} \right\rbrack \cdot \left\lbrack \frac{{C_{ij}\left( {\tau_{s{(1)}},\tau_{s{(2)}},\ldots \mspace{14mu},\tau_{s{(\kappa)}}} \right)}\mspace{11mu} {mod}\mspace{11mu} p}{D_{ij}\left( {\tau_{s{(1)}},\tau_{s{(2)}},\ldots \mspace{14mu},{\tau_{s{(\kappa)}}\mspace{11mu} {mod}\mspace{11mu} p}} \right.} \right\rbrack},{s\; \ldots_{\; 1}}} \right).}$

The E-Function Iterator module 42 may be evaluated via the apparatus in FIG. 5.

A method for creating the library of pairs of E-Commuting monoids will now be specified. Each monoid in such a pair will be presented as a list of generators each of which is contained in M

S. A feature of the method is that the internal algebraic structure of the pairs of E-Commuting monoids is difficult to determine from the publicly announced list of generators. Choose two sets X, Y of elements of M, and two sets U, V of elements of S_(k), where the following properties hold:

xy=yx

uv=vu

^(v) x=x

^(u) y=y,

for all xεX, yεY and uεU, vεV. There are many such choices for the sets X, Y, U, V. In fact, the number of choices also grows exponentially with L.

One method to specifically choose the sets X, Y, U, V is given as follows. Partition the set {t₁, t₂, . . . , t_(k)} into two disjoint subsets T₁, T₂ where T_(i)={t_(i) ₁ , t_(i) ₂ , . . . , t_(i) _(k) } for i=1, 2. Correspondingly, there will exist two distinct subgroups U, V of S_(k), where an element of U permutes the variables in T₁ and fixes the variables in T₂, and similarly an element of V permutes the variables in T₂ and fixes the variables in T₁. Observe that every element uεU commutes with every element vεV. Next choose positive integers l₁ and l₂ such that L=l₁+l₂+1. The matrices in X are chosen to be of the form

$\quad\begin{pmatrix} \; & \; & \; & 0 & \; & \; & \; \\ \; & \mathcal{M}_{_{1}} & \; & \vdots & \; & \; & \; \\ \; & \; & \; & 0 & \; & \; & \; \\ 0 & \ldots & 0 & 1 & 0 & \ldots & 0 \\ \; & \; & \; & 0 & {1\;} & \; & \; \\ \; & \; & \; & \vdots & \; & \ddots & \; \\ \; & \; & \; & 0 & \; & \; & {1\;} \end{pmatrix}$

when M_(l) ₂ is an l₁×l₁ matrix whose entries are rational functions in the variables T₁. All nonspecified entries the above matrix are equal to 0. Similarly, the matrices in Y are chosen to be of the form

$\quad\begin{pmatrix} 1 & \; & \; & 0 & \; & \; & \; \\ \; & \ddots & \; & \vdots & \; & \; & \; \\ \; & \; & 1 & 0 & \; & \; & \; \\ 0 & \ldots & 0 & 1 & 0 & \ldots & 0 \\ \; & \; & \; & 0 & \; & \; & \; \\ \; & \; & \; & \vdots & \; & \mathcal{M}_{_{2}} & \; \\ \; & \; & \; & 0 & \; & \; & \; \end{pmatrix}$

where M_(l) ₂ is an is l₂×l₂ matrix whose entries are rational functions in the variables T₂. It is clear that the above choices of matrices commute, and that an element uεU acts trivially on each matrix in Y, and an element vεV acts trivially on each matrix in X.

With this done choose an invertible element (z, w)εM

S. There are many such choices for (z, w), and in fact, the number of such choices grows exponentially with L. One can now define the submonoids as

A={(z,w)·(x,u)·(z,w)⁻¹ |xεX,uεU},

B={(z,w)·(y,v)·(z,w)⁻¹ |yεY,vεV}.

It is readily verifiable that A, B are E-Commuting monoids. Note that the search for (z, w) is more difficult than a standard conjugacy search problem because the conjugated elements are unknown.

In the key agreement protocol, there are two users, Alice and Bob, each of whom has a public and a private key. The users proceed with a public exchange, after which each is in a position to obtain common agreed upon secret key which can then be used for further cryptographic applications. The key agreement protocol begins in this example with each user, Alice and Bob, being assigned a user submonoid A₁, and B₁, respectively, from a pair in the E-Commuting Monoid Library, 63. Each user, Alice and Bob, proceeds to choose a private key which is the output of a respective Private Key Generator 74. Each user public key is then computed by directing the user private key, input 81 to the E-Function Iterator module 42, along with the input 82. The E-Function Iterator module 42 allows the users to compute their respective public keys in a novel and rapid fashion. The computations involved are 8-bit modular arithmetic operations (addition, subtraction, multiplication, and division) and 8-bit string search and replacement. These computations can be achieved at low cost and high efficiency.

Finally, the public keys are exchanged via the transmitter/receivers 93, 94. The results of this exchange, along with the users private keys, are sent to the E-unction Iterator module 42 a, 42 b, which outputs the common agreed upon secret key 97. 

What is claimed is:
 1. A method for securing communications from a user, the method comprising: selecting a first monoid; selecting a second monoid; selecting a function, the function being a monoid homomorphism that maps the first monoid to the second monoid; selecting a group; selecting an action of the group on the first monoid; determining a semi-direct product of the first monoid and the group to produce a third monoid; selecting a first and second submonoid of the third monoid, a pair of the first and second submonoids satisfying a criterion, the first submonoid being defined by a first set of generators, wherein the criterion satisfies a property determined by the function, a structure of the first and second monoids, and the action; and selecting a plurality of generators of the first set of generators to produce a private key.
 2. The method as recited in claim 1, wherein the selecting the plurality of first generators is produced using a pseudo-random number generator.
 3. The method as recited in claim 1, further comprising: applying a second component of an identity on a non-group component of a first generator of the private key to produce a result, wherein the identity comprises a first component, the first component being an identity of the second monoid, and the identity comprises a second component, the second component being an identity of the group; applying the function to the result to produce a first modified result; multiplying the first component of the identity by the modified result to produce a first further modified result; and multiplying the second component of the identity with a group component of the first generator to produce a first still further modified result; and combining the first further modified result with the first still further modified result to produce a first public key.
 4. The method as recited in claim 3, further comprising a. applying a group component of the first public key on a non-group component of a second generator of the private key to produce a second result; b. applying the function to the second result to produce a second modified result; c. multiplying a non-group component of the first public key by the second modified result to produce a second further modified result; d. multiplying the group component of the first public key with a group component of the second generator of the private key to produce a second still further modified result; and e. combining the first further modified result with the second still further modified result to produce a second public key.
 5. The method as recited in claim 4, further comprising repeating steps a, b, c, d and e for all generators in the private key.
 6. The method as recited in claim 1, wherein the selecting the plurality of first generators includes ordering the plurality of first generators in a particular order.
 7. The method as recited in claim 1, further comprising encrypting a message using, at least in part, the private key.
 8. The method as recited in claim 3, further comprising encrypting a message using, at least in part, the public key.
 9. A method for securing communications from a user, the method comprising: receiving a first submonoid, the first submonoid being produced by: selecting a first monoid; selecting a second monoid; selecting a function, the function being a monoid homomorphism that maps the first monoid to the second monoid; selecting a group; selecting an action of the group on the first monoid; and determining a semi-direct product of the first monoid and the group to produce a third monoid; selecting a first and second submonoid of the third monoid, the pair of the first and second submonoids satisfying a criterion, the first submonoid being defined by a first set of generators, the criterion satisfying a property determined by the function, a structure of the first and second monoids, and the action; selecting a plurality of generators of the first set of generators to produce a private key; applying the second component of an identity on a non-group component of a first generator of the private key to produce a result, wherein the identity comprises a first component, the first component being an identity of the second monoid, and the identity comprises a second component, the second component being an identity of the group; applying the function to the result to produce a first modified result; multiplying the first component of the identity by the modified result to produce a first further modified result; and multiplying the second component of the identity with a group component of the first generator to produce a first still further modified result; and combining the first further modified result with the first still further modified result to produce a public key.
 10. A method for securing communications among two users, the method comprising: selecting a first monoid; selecting a second monoid; selecting a function, the function being a monoid homomorphism that maps the first monoid to the second monoid; selecting a group; selecting an action of the group on the first monoid; determining a first semi-direct product of the first monoid and the group to produce a third monoid; selecting a first and second submonoid of the third monoid, a pair of the first and second submonoids satisfying a criterion, the first submonoid being defined by a first set of generators, the second submonoid being defined by a second set of generators, the criterion satisfying a property determined by the function, a structure of the first and second monoids, and the action; at a first user; receiving the first submonoid; selecting a plurality of generators of the first set of generators to produce a first private key; applying the second component of an identity on a non-group component of a first generator of the first private key to produce a first result, wherein the identity comprises a first component, the first component being an identity of the second monoid, and the identity comprises a second component, the second component being an identity of the group; applying the function to the first result to produce a first modified result; multiplying the first component of the identity by the modified result to produce a first further modified result; multiplying the second component of the identity with a group component of the first generator of the first private key to produce a first still further modified result; combining the first further modified result with the first still further modified result to produce a first public key; a. applying a group component of the first public key on a non-group component of a second generator of the first private key to produce a second result; b. applying the function to the second result to produce a second modified result; c. multiplying a non-group component of the first public key by the second modified result to produce a second further modified result; d. multiplying the group component of the first public key with a group component of the second generator of the private key to produce second still further modified result; and e. combining the first further modified result with the second still further modified result to produce a second public key; at a second user: receiving the second submonoid; selecting a plurality of generators of the second set of generators to produce a second private key; applying the second component of the identity on a non-group component of a first generator of the second private key to produce a third result, applying the function to the third result to produce a third modified result; multiplying the first component of the identity by the third modified result to produce a third further modified result; multiplying the second component of the identity with a group component of the first generator of the second private key to produce a third still further modified result; combining the third further modified result with the third still further modified result to produce a third public key; f. applying a group component of the third public key on a non-group component of a second generator of the second private key to produce a fourth result; g. applying the function to the fourth result to produce a fourth modified result; h. multiplying a non-group component of the third public key by the fourth modified result to produce a fourth further modified result; i. multiplying the group component of the third public key with a group component of the second generator of the second private key to produce a fourth still further modified result; and j. combining the fourth further modified result with the fourth still further modified result to produce a fourth public key.
 11. The method as recited in claim 10, further comprising: forwarding the fourth public key to the first user; at the first user: applying a group component of a first element of the second public key on a non-group component of the first private key to produce to produce a fifth result; applying the function to the fifth result to produce a fifth modified result; multiplying a non-group component of the first element of the second public key by the fifth modified result to produce a fifth further modified result; multiplying the group component of the first element of the second public key with a group component of the first generator of the first private key to produce a fifth still further modified result; combining the fifth further modified result with the fifth still further modified result to produce a first secret key; k. applying a group component of the first secret key on a non-group component of a second generator of the first private key to produce a sixth result; l. applying the function to the sixth result to produce a sixth modified result; m. multiplying a non-group component of the first secret key by the sixth modified result to produce a sixth further modified result; n. multiplying the group component of the first secret key with a group component of the second generator of the first private key to produce a sixth still further modified result; and o. combining the sixth further modified result with the sixth still further modified result to produce a second secret key.
 12. The method as recited in claim 11, further comprising repeating steps a through e for all generators of the first private key.
 13. The method as recited in claim 12, further comprising repeating steps f through j for all generators of the second private key.
 14. The method as recited in claim 13, further comprising repeating steps k through o for all generators of the first private key.
 15. The method as recited in claim 12, further comprising encrypting a message using, at least in part, the second secret key.
 16. A transmitter comprising: a memory including a first submonoid, the first submonoid being produced by: selecting a first monoid; selecting a second monoid; selecting a function, the (unction being a monoid homomorphism that maps the first monoid to the second monoid; selecting a group; selecting an action of the group on the first monoid; and determining a semi-direct product of the first monoid and the group to produce a third monoid; selecting a first and second submonoid of the third monoid, the pair of the first and second submonoids satisfying a criterion, the first submonoid being defined by a first set of generators, the criterion satisfying a property determined by the function, a structure of the first and second monoids, and the action; and a processor; wherein the processor is effective to select a plurality of generators of the first set of generators to produce a private key; the processor is effective to apply the second component of an identity on a non-group component of a first generator of the private key to produce a result, wherein the identity comprises a first component, the first component being an identity of the second monoid, and the identity comprises a second component, the second component being an identity of the group; the processor is effective to apply the function to the result to produce a first modified result; the processor is effective to multiply the first component of the identity by the modified result to produce a first further modified result; the processor is effective to multiply the second component of the identity with a group component of the first generator to produce a first still further modified result; and the processor is effective to combine the first further modified result with the first still further modified result to produce a first public key; the processor is effective to: a. apply a group component of the first public key on a non-group component of a second generator of the private key to produce a second result; b. apply the function to the second result to produce a second modified result; c. multiply a non-group component of the first public key by the second modified result to produce a second further modified result; d. multiply the group component of the first public key with a group component of the second generator of the private key to produce second still further modified result; and e. combine the first further modified result with the second still further modified result to produce a second public key.
 17. The transmitter as recited in claim 16, wherein the processor is further effective to iteratively perform a through e for all the generators in the first private key.
 18. A system for securing communications between users, the system comprising: a communications center, the communications center effective to: select a first monoid; select a second monoid; select a function, the function being a monoid homomorphism that maps the first monoid to the second monoid; select a group; select an action of the group on the first monoid; determine a first semi-direct product of the first monoid and the group to produce a third monoid; and select a first and second submonoid of the third monoid, a pair of the first and second submonoids satisfying a criterion, the first submonoid being defined by a first set of generators, the second submonoid being defined by a second set of generators, the criterion satisfying a property determined by the function, a structure of the first and second monoids, and the action; a first transmitter comprising: a memory including the first submonoid; a first processor, the first processor effective to: select a plurality of generators of the first set of generators to produce a first private key; apply the second component of an identity on a non-group component of a first generator of the first private key to produce a first result, wherein the identity comprises a first component, the first component being an identity of the second monoid, and the identity comprises a second component, the second component being an identity of the group; apply the function to the first result to produce a first modified result; multiply the first component of the identity by the modified result to produce a first further modified result; multiply the second component of the identity with a group component of the first generator to produce a first still further modified result; and combine the first further modified result with the first still further modified result to produce a first public key; the first processor is further effective to: a. apply a group component of the first public key on a non-group component of a second generator of the private key to produce a second result; b. apply the function to the second result to produce a second modified result; c. multiply a non-group component of the first public key by the second modified result to produce a second further modified result; d. multiply the group component of the first public key with a group component of the second generator of the first private key to produce second still further modified result; and e. combine the first further modified result with the second still further modified result to produce a second public key; a second transmitter comprising: a memory including the second submonoid; a second processor, the second processor effective to select a plurality of generators of the second set of generators to produce a second private key; apply the second component of the identity on a non-group component of a first generator of the second private key to produce a third result, apply the function to the third result to produce a third modified result; multiply the first component of the identity by the third modified result to produce a third further modified result; multiply the second component of the identity with a group component of the second generator to produce a third still further modified result; combine the third further modified result with the third still further modified result to produce a third public key; the second processor is further effective to: f. apply a group component of the third public key on a non-group component of a second generator of the second private key to produce a fourth result; g. apply the function to the fourth result to produce a fourth modified result; h. multiply a non-group component of the first public key by the fourth modified result to produce a fourth further modified result; i. multiply the group component of the third public key with a group component of the second generator of the second private key to produce fourth still further modified result; and j. combine the fourth further modified result with the fourth still further modified result to produce a fourth public key.
 19. The system as recited in claim 18, wherein: the second processor is further effective to forward the fourth public key to the first processor; and the first processor is further effective to: apply a group component of a first element of the fourth public key on a non-group component of the first private key to produce a fifth result; apply the function to the fifth result to produce a fifth modified result; multiply a non-group component of the first element of the fourth public key by the fifth modified result to produce a fifth further modified result; multiply the group component of the fourth public key with a group component of the first generator of the first private key to produce a fifth still further modified result; and combine the fifth further modified result with the fifth still further modified result to produce a first secret key; k. apply a group component of the first secret key on a non-group component of a second generator of the first private key to produce a sixth result; l. apply the function to the sixth result to produce a sixth modified result; m. multiply a non-group component of the first secret key by the sixth modified result to produce a sixth further modified result; n. multiplying the group component of the first secret key with a group component of the second generator of the private key to produce a sixth still further modified result; and o. combining the sixth further modified result with the sixth still further modified result to produce a second secret key.
 20. The system as recited in claim 19, further comprising repeating steps a through e for all generators of the first private key.
 21. The system as recited in claim 20, further comprising repeating steps f through j for all generators of the second private key.
 22. The system as recited in claim 21, further comprising repeating steps k through o for all generators of the first private key.
 23. The system as recited in claim 22, further comprising encrypting a message using, at least in part, the second secret key. 